perf-tool: Remove dead code

diff --git a/src/gnome-shell-perf-tool.in b/src/gnome-shell-perf-tool.in
index 3bb32dd50764176a3cf6a70b42529a6eba57049e..55bfdf39f26c3fb26a8d84620ea3bc12b85ed3fe 100644 (file)
--- a/src/gnome-shell-perf-tool.in
+++ b/src/gnome-shell-perf-tool.in
@@ -107,8 +107,6 @@ def run_shell(perf_output=None):
 def restore_shell():
     pid = os.fork()
     if (pid == 0):
-        if "MUTTER_WM_CLASS_FILTER" in os.environ:
-            del os.environ["MUTTER_WM_CLASS_FILTER"]
         os.execlp("gnome-shell", "gnome-shell", "--replace")
     else:
         sys.exit(0)